1. Mathematical theory of computation
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
QA76
.
6
.
M356
2. Mathematical theory of computation
پدیدآورنده : Manna, Zohar
موضوع : ، Electronic digital computers -- Programming,، Debugging in computer science
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Mathematical theory of computation
پدیدآورنده : Manna, Zohar.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Electronic digital computers - Programming,، Debugging in computer science
رده :
QA
76
.
6
.
M356
4. Mathematical theory of computation
پدیدآورنده : / Zohar Manna
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
5. Program style, design, efficiency, debugging, and testing
پدیدآورنده : Van Tassel, Dennie
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Debugging in computer science,Testing ، Computer programs
رده :
QA
76
.
6
.
V37
1978
6. Program style, design, efficiency, debugging, and testing
پدیدآورنده : Van Tassel, Dennie
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Electronic digital computers-- Programming,، Debugging in computer science,، Computer programs-- Testing
رده :
QA
76
.
6
.
V37
1978
7. Program style,design,efficincy
پدیدآورنده : VAN TASSEL,DENNIE
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE , COMPUTER PROGRAMS-TESTING
رده :
QA
76
.
6
.
V37
8. System design from porvably correct constructs: the beginning of true software engineering
پدیدآورنده : Martin, James
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، System design,Programming ، Electronic digital computers,، Debugging in computer science
رده :
QA
76
.
9
.
S88
M37
1985
9. System design from provably correct constructs:the beginnings of
پدیدآورنده : MARTIN,JAMES
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SYSTEM DESIGN , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , DEBUGGING IN COMPUTER SCIENCE
رده :
QA
76
.
9
.
S88
M37
